Incremental Learning-Based Testing for Reactive Systems
نویسندگان
چکیده
We show how the paradigm of learning-based testing (LBT) can be applied to automate specification-based black-box testing of reactive systems. Since reactive systems can be modeled as Kripke structures, we introduce an efficient incremental learning algorithm IKL for such structures. We show how an implementation of this algorithm combined with an efficient model checker such as NuSMV yields an effective learning-based testing architecture for automated test case generation (ATCG), execution and evaluation, starting from temporal logic requirements.
منابع مشابه
Incremental Learning and Testing of Reactive Systems
This thesis concerns the design, implementation and evaluation of a specification based testing architecture for reactive systems using the paradigm of learning-based testing. As part of this work we have designed, verified and implemented new incremental learning algorithms for DFA and Kripke structures. These have been integrated with the NuSMV model checker to give a new learning-based testi...
متن کاملA Hybrid Framework for Building an Efficient Incremental Intrusion Detection System
In this paper, a boosting-based incremental hybrid intrusion detection system is introduced. This system combines incremental misuse detection and incremental anomaly detection. We use boosting ensemble of weak classifiers to implement misuse intrusion detection system. It can identify new classes types of intrusions that do not exist in the training dataset for incremental misuse detection. As...
متن کاملOptimising Incremental Generation for Spoken Dialogue Systems: Reducing the Need for Fillers
Recent studies have shown that incremental systems are perceived as more reactive, natural, and easier to use than non-incremental systems. However, previous work on incremental NLG has not employed recent advances in statistical optimisation using machine learning. This paper combines the two approaches, showing how the update, revoke and purge operations typically used in incremental approach...
متن کاملLearning-Based Testing for Reactive Systems Using Term Rewriting Technology
We show how the paradigm of learning-based testing (LBT) can be applied to automate speci cation-based black-box testing of reactive systems using term rewriting technology. A general model for a reactive system can be given by an extended Mealy automata (EMA) over an abstract data type (ADT). A nite state EMA over an ADT can be e ciently learned in polynomial time using the CGE regular inferen...
متن کاملAn integrated architecture for learning of reactive behaviors based on dynamic cell structures
In this contribution we want to draw the readers attention to the advantages of controller architectures based on Dynamic Cell Structures (DCS) [5] for learning reactive behaviors of autonomous robots. These include incremental on-line learning, fast output calculation, a flexible integration of different learning rules and a close connection to fuzzy logic. The latter allows for incorporation ...
متن کامل